ThmProve [PROTOTYPE] -- [PROTOTYPE] ThmProve |
Syntax |
ThmProve(Hypothesis: IDEAL of RINGELEM, Thesis: IDEAL of RINGELEM): RECORD |
Description |
Example |
/**/ ThmMan(); /**/ ThmExample_FeetAndMidpoint(); /**/ ThmExample_Pappus(); /**/ ThmExample_DegenerateParallelogram(); |